Structural Properties of Some Categories of Institutions
نویسنده
چکیده
This is a technical paper stating and proving completeness and cocompleteness results for various categories of institutions.
منابع مشابه
Limits and colimits in some categories of institutions
This paper presents a number of concepts of a mapping between logical systems modelled as institutions, discusses their mutual merits and demerits, and sketches their role in the process of system speciication and development. Some simple properties of the resulting categories of institutions are given.
متن کاملSome Structural Properties of Upper and Lower Central Series of Pairs of Groups
In this paper, we first present some properties of lower and upper central series of pair of groups. Then the notion of $n$-isoclinism for the classification of pairs of groups is introduced, and some of the structural properties of the created classes are proved. Moreover some interesting theorems such as Baer Theorem, Bioch Theorem, Hirsh Theorem for pair of groups are generalized...
متن کاملThe Structural Relationship Between Topological Indices and Some Thermodynamic Properties
The fact that the properties of a molecule are tightly connected to its structural characteristics is one of the fundamental concepts in chemistry. In this connection, graph theory has been successfully applied in developing some relationships between topological indices and some thermodynamic properties. So , a novel method for computing the new descriptors to construct a quantitative rela...
متن کاملA Comparative DFT Study on Structural and Electronic Properties of C24 and Some of Its Derivatives: C12B6N6, B6N6C12 and B12N12
The structural stabilities, geometry and electronic properties of C24 and some its heterofullerenederivatives are compared at the B3LYP/6-311-EFG**//B3LYP/6-31+G* level of theory. Vibrationalfrequency calculations show that all the systems are true minima. The calculated binding energies ofheterofullerenes show C24 as the, most stable fullerenes by 9.03eV/atom. While decreasing bindingenergy in...
متن کاملDesigning Structural Equation Modeling of Organizational Citizenship Behavior Influences on Success of Educational Institutions (Case study: Kanoon Qlmchy)
Article history: Received date: 28 August, 2016 Review date: 7 October 2016 Accepted date:25 October 2016 Printed online:1 September Purpose: the aim of the current study was to Designing Structural Equation Modeling of Organizational Citizenship Behavior Which Influences on Success of Kanoon Qlmchy as a famous Educational Institutions Method: The method of the current research descriptive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996